Merge pull request #1612 from antonio-nino-diaz-arm/an/tools
authorSoby Mathew <[email protected]>
Wed, 10 Oct 2018 13:00:14 +0000 (14:00 +0100)
committerGitHub <[email protected]>
Wed, 10 Oct 2018 13:00:14 +0000 (14:00 +0100)
tools: Make invocation of host compiler correct


Trivial merge